Teaching and Learning Formal Methods, Improving Productivity

نویسنده

  • J. F. Miller
چکیده

This paper discusses requirements for the teaching of formal methods and introduces the notion of productivity in learning. The three attribute model of learning is used to support the use of drag and drop as a universal educational paradigm. An example of this technique is given and a call is made for the establishment of a teaching DIY superstore containing reusable components from which experimental teaching tools for formal methods can be rapidly constructed.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Teachers' Attitudes towards Teaching in Formal vs. Informal ELT Contexts

Up to now, many studies have been done to show the origin of attitudes and their relationships with behaviors or actions. Some of those works have focused on students' attitudes and some have introduced the various contexts of language teaching and learning. These studies were enough to give a new impetus for conducting the present investigation. This paper investigated the teachers' attitudes ...

متن کامل

Investigating The Effect of Teaching “Philosophy of Formal and Public Education” in Farhangian University within the scaffolding of Leadership and Management Education Model on Students’ Learning and Academic Achievement

The study performed to investigate the effect of teaching the course of Formal and Public Education Philosophy (FPEP) within the scaffolding of Leadership and Management Education Model (LMEM) on university students’ learning and academic achievement at Farhangian University (UT) using quasi-experimental method with two-groups pre-test and post-test design with control group. The statistical po...

متن کامل

Investigating The Effect of Teaching “Philosophy of Formal and Public Education” in Farhangian University within the scaffolding of Leadership and Management Education Model on Students’ Learning and Academic Achievement

The study performed to investigate the effect of teaching the course of Formal and Public Education Philosophy (FPEP) within the scaffolding of Leadership and Management Education Model (LMEM) on university students’ learning and academic achievement at Farhangian University (UT) using quasi-experimental method with two-groups pre-test and post-test design with control group. The statistical po...

متن کامل

A survey on teaching style of academic members in Rafsanjan University of medical sciences

Introduction: Teaching styles and learning are behaviors that teachers and students show in learning process. Identifying teaching styles and personal charactristics of the academic members can be useful for their instructional patterns and students achivement. So, this study was designed to determine the teaching styles of academic members of Rafsanjan University of Medical Sciences (HUM...

متن کامل

Effective Environmental Factors on Designing Productive Learning Environments

Educational spaces play an important role in enhancing learning productivity levels of society people as the most important places to human train. Considering the cost, time and energy spending on these spaces, trying to design efficient and optimized environment is a necessity. Achieving efficient environments requires changing environmental criteria so that they can have a positive impact on ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1999